<div id="navigation">
<ul>
<li <?php if(basename($_SERVER['PHP_SELF']) == 'index.php') print "class='selected'" ?>><a href="index.php">Home page</a></li>
<li <?php if(basename($_SERVER['PHP_SELF']) == 'docs.php') print "class='selected'" ?>><a href="docs.php">Documenti</a></li>
<li><a href="#">Permessi online</a></li>
<li <?php if(basename($_SERVER['PHP_SELF']) == 'profile.php') print "class='selected'" ?>><a href="profile.php">Profilo</a></li>
<li><a href="../../do_logout.php">Esci</a></li>
</ul>
</div>